Technical Issues in Modelling the European Train Control System (etcs) Using Coloured Petri Nets and the Design/cpn Tools
نویسندگان
چکیده
At the Institute of Control and Automation Engineering Design/CPN has been used to model the European Control System (ETCS) within a project for the Deutsche Bahn AG (German railways). This paper reports of experiences in modelling this complex, distributed automation system using Coloured Petri Nets and the Design/CPN tools. We will concentrate on some technical issues. However, for motivation we will give a brief overview of the application and will describe the modelling paradigms that we applied.
منابع مشابه
Modelling Functionality of Train Control Systems using Petri Nets
Railway safety systems are highly complex systems with respect to functionality as well as dependability. The new European Train Control System (ETCS) as one part of the European Rail Traffic Management System (ERTMS) is the example presented here. A formal model using Coloured Petri Nets (CPN) was prepared by using the existing ERTMS/ETCS specification as a basis. The applied method is an inte...
متن کاملModelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN
ETCS Level 2 (European Train Control System Level 2, ETCS-2) has drawn particularly attention from researchers and industries. A new CPN model-based formal approach for test cases and sequences generation is proposed in this paper to increase the test automation degree of the ETCS-2 system and subsystems. In this paper, a set of modelling rules is presented firstly to make the Coloured Petri Ne...
متن کاملFormal Modelling and Simulation of Train Control Systems Using Petri Nets
A formal model was prepared on behalf of the German railways (Deutsche Bahn AG) using the informal ERTMS/ETCS specification as a basis. Proceeding from the existing models of the system a model of the system design was developed which is to provide a universal means of description for all the phases. It was decided to use Petri nets as a means of description for this procedure, as they permit u...
متن کاملVarious Kinds of Petri Nets in Simulation and Modelling
This article presents several diierent kinds of Petri nets, together with computer tools based on them, and compares possibilities of their application in the area of simulation and modelling. Place/transition Petri nets, stochastic Petri nets, hierarchical coloured Petri nets and nally object oriented Petri nets are mentioned here. As for the tools, Design/CPN, TimeNET, LOOPN++ and PNtalk are ...
متن کاملAnalysing Different Ordering Policies in a Series Supply Chain by Using Coloured Petri Nets
The flow of products and information within supply chain networks is an important consideration for practitioners. Simulation tools provide an efficient approach for analysing and validating dynamic systems such as supply chains, where distorted information and poor product management often lead to uncertainty and to instability phenomena. This paper considers the case of a series decentralised...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998